On closedness assumptions in selection theorems

Metrical common fixed point theorems without completeness and closedness

* Correspondence: [email protected] Department of Mathematics and Humanities, S.V. National Institute of Technology, Surat, Gujarat, India Full list of author information is available at the end of the article Abstract In this article, we point out that some recent results proved in Babu and Alemayehu are corollaries of the main result of an article due to Ali and Imdad. However, combinin...

On Proving Communication Closedness of Distributed Layers

The notion of communication closed layer has been introduced as a way to define structured composition of distributed sy~tems. An interesting question is how to verify the closedness of a layer. We formulate a proof rule proving closed ness of a distributed layer. The rule is developed as an extension of the Apt. Francez and de Roever proof system for CSP. The extension is proved to be sound an...

On Closedness of Orbits of Algebraic Groups

The impact of equilibrium assumptions on tests of selection

With the increasing availability and quality of whole genome population data, various methodologies of population genetic inference are being utilized in order to identify and quantify recent population-level selective events. Though there has been a great proliferation of such methodology, the type-I and type-II error rates of many proposed statistics have not been well-described. Moreover, th...

Closedness properties in ex-identification

In this paper we investigate in which cases unions of identi$able classes are also necessarily identi$able. We consider identi$cation in the limit with bounds on mindchanges and anomalies. Though not closed under the set union, these identi$cation types still have features resembling closedness. For each of them we $nd n such that (1) if every union of n − 1 classes out of U1; : : : ; Un is ide...